<!DOCTYPE html>
<html class="client-nojs vector-feature-night-mode-disabled vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-sticky-header-enabled" lang="en" dir="ltr"><head>
<meta charset="UTF-8">
<title>Graph factorization</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="canonical" href="https://en.wikipedia.org/wiki/Graph_factorization"> <link href="./mw/ext.cite.styles.css" rel="stylesheet" type="text/css">
<link href="./mw/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./mw/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./mw/skins.vector.styles.css" rel="stylesheet" type="text/css">
<link href="./mw/user.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link rel="stylesheet" type="text/css" href="./mw/site.styles.css">
<link rel="stylesheet" type="text/css" href="./mw/noscript.css">
<link rel="stylesheet" type="text/css" href="./footer.css">
<link rel="stylesheet" type="text/css" href="./vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Graph_factorization rootpage-Graph_factorization skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading">
<span id="openzim-page-title" class="mw-page-title-main"><span class="mw-page-title-main">Graph factorization</span></span>
</h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="en" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="en" dir="ltr">
<style data-mw-deduplicate="TemplateStyles:r1236090951">
/* start https://en.wikipedia.org/ */
.mw-parser-output .hatnote{font-style:italic}.mw-parser-output div.hatnote{padding-left:1.6em;margin-bottom:0.5em}.mw-parser-output .hatnote i{font-style:normal}.mw-parser-output .hatnote+link+.hatnote{margin-top:-0.5em}@media print{body.ns-0 .mw-parser-output .hatnote{display:none!important}}
/* end https://en.wikipedia.org/ */
</style><div role="note" class="hatnote navigation-not-searchable">Not to be confused with <a href="Factor_graph" title="Factor graph">Factor graph</a>.</div>
<style data-mw-deduplicate="TemplateStyles:r1287834656">
/* start https://en.wikipedia.org/ */
.mw-parser-output .unsolved{margin:0.5em 0 1em 1em;border:1px solid #a2a9b1;padding:0.35em 0.35em 0.35em 2.2em;background-color:var(--background-color-interactive-subtle);background-image:url("./mw/Question%2C_Web_Fundamentals.svg");background-position:top 50%left 0.35em;background-size:1.5em;background-repeat:no-repeat}@media(min-width:720px){.mw-parser-output .unsolved{clear:right;float:right;max-width:25%}}.mw-parser-output .unsolved-label{font-weight:bold}.mw-parser-output .unsolved-body{margin:0.35em;font-style:italic}.mw-parser-output .unsolved-more{font-size:smaller}
/* end https://en.wikipedia.org/ */
</style>
<div role="note" aria-labelledby="unsolved-label-mathematics" class="unsolved">
<div><span class="unsolved-label" id="unsolved-label-mathematics">Unsolved problem in mathematics</span></div>
<div class="unsolved-body"><b>Conjecture:</b> If <i>n</i> is odd and <i>k</i> ≥ <i>n</i>, then <i>G</i> is 1-factorable. If <i>n</i> is even and <i>k</i> ≥ <i>n</i> − 1 then <i>G</i> is 1-factorable.</div>
<div class="unsolved-more"><a href="List_of_unsolved_problems_in_mathematics" title="List of unsolved problems in mathematics">More unsolved problems in mathematics</a></div>
</div>
<p>In <a href="Graph_theory" title="Graph theory">graph theory</a>, a <b>factor</b> of a <a href="Graph_(discrete_mathematics)" title="Graph (discrete mathematics)">graph</a> <i>G</i> is a <a href="Spanning_subgraph" class="mw-redirect" title="Spanning subgraph">spanning subgraph</a>, i.e., a subgraph that has the same vertex set as <i>G</i>. A <b><i>k</i>-factor</b> of a graph is a spanning <i>k</i>-<a href="Regular_graph" title="Regular graph">regular</a> subgraph, and a <b><i>k</i>-factorization</b> partitions the edges of the graph into disjoint <i>k</i>-factors. A graph <i>G</i> is said to be <b><i>k</i>-factorable</b> if it admits a <i>k</i>-factorization. In particular, a <b>1-factor</b> is a <a href="Perfect_matching" title="Perfect matching">perfect matching</a>, and a 1-factorization of a <i>k</i>-regular graph is a <a href="Edge_coloring" title="Edge coloring">proper edge coloring</a> with <i>k</i> colors. A <b>2-factor</b> is a collection of disjoint <a href="Cycle_(graph_theory)" title="Cycle (graph theory)">cycles</a> that spans all vertices of the graph.
</p>
<meta property="mw:PageProp/toc">
<div class="mw-heading mw-heading2"><h2 id="1-factorization">1-factorization</h2></div>
<p>If a graph is 1-factorable then it has to be a <a href="Regular_graph" title="Regular graph">regular graph</a>. However, not all regular graphs are 1-factorable. A <i>k</i>-regular graph is 1-factorable if it has <a href="Chromatic_index" class="mw-redirect" title="Chromatic index">chromatic index</a> <i>k</i>; examples of such graphs include:
</p>
<ul><li>Any regular <a href="Bipartite_graph" title="Bipartite graph">bipartite graph</a>.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> <a href="Hall's_marriage_theorem" title="Hall's marriage theorem">Hall's marriage theorem</a> can be used to show that a <i>k</i>-regular bipartite graph contains a perfect matching. One can then remove the perfect matching to obtain a (<i>k</i> − 1)-regular bipartite graph, and apply the same reasoning repeatedly.</li>
<li>Any <a href="Complete_graph" title="Complete graph">complete graph</a> with an <a href="Parity_(mathematics)" title="Parity (mathematics)">even</a> number of nodes (see <a href="#Complete_graphs">below</a>).<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup></li></ul>
<p>However, there are also <i>k</i>-regular graphs that have chromatic index <i>k</i> + 1, and these graphs are not 1-factorable; examples of such graphs include:
</p>
<ul><li>Any regular graph with an <a href="Parity_(mathematics)" title="Parity (mathematics)">odd</a> number of nodes.</li>
<li>The <a href="Petersen_graph" title="Petersen graph">Petersen graph</a>.</li></ul>
<div class="mw-heading mw-heading3"><h3 id="Complete_graphs">Complete graphs</h3></div>
<p>A 1-factorization of a <a href="Complete_graph" title="Complete graph">complete graph</a> corresponds to pairings in a <a href="Round-robin_tournament" title="Round-robin tournament">round-robin tournament</a>. The 1-factorization of complete graphs is a special case of <a href="Baranyai's_theorem" title="Baranyai's theorem">Baranyai's theorem</a> concerning the 1-factorization of complete <a href="Hypergraph" title="Hypergraph">hypergraphs</a>.
</p><p>One method for constructing a 1-factorization of a complete graph on an even number of vertices involves placing all but one of the vertices in a <a href="Regular_polygon" title="Regular polygon">regular polygon</a>, with the remaining vertex at the center. With this arrangement of vertices, one way of constructing a 1-factor of the graph is to choose an edge <i>e</i> from the center to a single polygon vertex together with all possible edges that lie on lines perpendicular to <i>e</i>. The 1-factors that can be constructed in this way form a 1-factorization of the graph.
</p><p>The number of distinct 1-factorizations of <i>K</i><sub>2</sub>, <i>K</i><sub>4</sub>, <i>K</i><sub>6</sub>, <i>K</i><sub>8</sub>, ... is 1, 1, 6, 6240, 1225566720, 252282619805368320, 98758655816833727741338583040, ... (<span class="nowrap external"><a href="On-Line_Encyclopedia_of_Integer_Sequences" title="On-Line Encyclopedia of Integer Sequences">OEIS</a>: <a href="https://oeis.org/A000438" class="extiw external" title="oeis:A000438">A000438</a></span>).
</p>
<div class="mw-heading mw-heading3"><h3 id="1-factorization_conjecture">1-factorization conjecture</h3></div>
<p>Let <i>G</i> be a <i>k</i>-regular graph with 2<i>n</i> nodes. If <i>k</i> is sufficiently large, it is known that <i>G</i> has to be 1-factorable:
</p>
<ul><li>If <i>k</i> = 2<i>n</i> − 1, then <i>G</i> is the complete graph <i>K</i><sub>2<i>n</i></sub>, and hence 1-factorable (see <a href="#Complete_graphs">above</a>).</li>
<li>If <i>k</i> = 2<i>n</i> − 2, then <i>G</i> can be constructed by removing a perfect matching from <i>K</i><sub>2<i>n</i></sub>. Again, <i>G</i> is 1-factorable.</li>
<li><a href="#CITEREFChetwyndHilton1985">Chetwynd & Hilton (1985)</a> show that if <i>k</i> ≥ 12<i>n</i>/7, then <i>G</i> is 1-factorable.</li></ul>
<p>The <b>1-factorization conjecture</b><sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup> is a long-standing <a href="Conjecture" title="Conjecture">conjecture</a> that states that <i>k</i> ≈ <i>n</i> is sufficient. In precise terms, the conjecture is:
</p>
<ul><li>If <i>n</i> is odd and <i>k</i> ≥ <i>n</i>, then <i>G</i> is 1-factorable. If <i>n</i> is even and <i>k</i> ≥ <i>n</i> − 1 then <i>G</i> is 1-factorable.</li></ul>
<p>The <a href="Overfull_conjecture" class="mw-redirect" title="Overfull conjecture">overfull conjecture</a> implies the 1-factorization conjecture.
The conjecture was confirmed by Csaba, Kühn, Lo, Osthus and Treglown for sufficiently large <i>n</i>.<sup id="cite_ref-csaba_4-0" class="reference"><a href="#cite_note-csaba-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup>
</p>
<div class="mw-heading mw-heading3"><h3 id="Perfect_1-factorization">Perfect 1-factorization</h3></div>
<p>A <b>perfect pair</b> from a 1-factorization is a pair of 1-factors whose union <a href="Glossary_of_graph_theory#Subgraphs" title="Glossary of graph theory">induces</a> a <a href="Hamiltonian_cycle" class="mw-redirect" title="Hamiltonian cycle">Hamiltonian cycle</a>.
</p><p>A <b>perfect 1-factorization</b> (P1F) of a graph is a 1-factorization having the property that every pair of 1-factors is a perfect pair. A perfect 1-factorization should not be confused with a perfect matching (also called a 1-factor).
</p><p>In 1964, <a href="Anton_Kotzig" title="Anton Kotzig">Anton Kotzig</a> conjectured that every complete graph <i>K</i><sub>2<i>n</i></sub> where <i>n</i> ≥ 2 has a perfect 1-factorization. So far, it is known that the following graphs have a perfect 1-factorization:<sup id="cite_ref-wallis_5-0" class="reference"><a href="#cite_note-wallis-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup>
</p>
<ul><li>the infinite family of complete graphs <i>K</i><sub>2<i>p</i></sub> where <i>p</i> is an odd <a href="Prime_number" title="Prime number">prime</a> (by Anderson and also Nakamura, independently),</li>
<li>the infinite family of complete graphs <i>K</i><sub><i>p</i>+1</sub> where <i>p</i> is an odd prime,</li>
<li>and sporadic additional results, including <i>K</i><sub>2<i>n</i></sub> where 2<i>n</i> ∈ {16, 28, 36, 40, 50, 126, 170, 244, 344, 730, 1332, 1370, 1850, 2198, 3126, 6860, 12168, 16808, 29792}. Some newer results are collected <a rel="nofollow" class="external text" href="http://users.monash.edu.au/~iwanless/data/P1F/newP1F.html">here</a>.</li></ul>
<p>If the complete graph <i>K</i><sub><i>n</i>+1</sub> has a perfect 1-factorization, then the <a href="Complete_bipartite_graph" title="Complete bipartite graph">complete bipartite graph</a> <i>K</i><sub><i>n</i>,<i>n</i></sub> also has a perfect 1-factorization.<sup id="cite_ref-wanless_6-0" class="reference"><a href="#cite_note-wanless-6"><span class="cite-bracket">[</span>6<span class="cite-bracket">]</span></a></sup>
</p>
<div class="mw-heading mw-heading2"><h2 id="2-factorization">2-factorization</h2></div>
<p>If a graph is 2-factorable, then it has to be 2<i>k</i>-regular for some integer <i>k</i>. <a href="Julius_Petersen" title="Julius Petersen">Julius Petersen</a> showed in 1891 that this necessary condition is also sufficient: <a href="2-factor_theorem" title="2-factor theorem">any 2<i>k</i>-regular graph is 2-factorable</a>.<sup id="cite_ref-7" class="reference"><a href="#cite_note-7"><span class="cite-bracket">[</span>7<span class="cite-bracket">]</span></a></sup>
</p><p>If a <a href="Connectivity_(graph_theory)" title="Connectivity (graph theory)">connected graph</a> is 2<i>k</i>-regular and has an even number of edges it may also be <i>k</i>-factored, by choosing each of the two factors to be an alternating subset of the edges of an <a href="Euler_tour" class="mw-redirect" title="Euler tour">Euler tour</a>.<sup id="cite_ref-8" class="reference"><a href="#cite_note-8"><span class="cite-bracket">[</span>8<span class="cite-bracket">]</span></a></sup> This applies only to connected graphs; disconnected <a href="Counterexample" title="Counterexample">counterexamples</a> include disjoint unions of odd cycles, or of copies of <i>K</i><sub>2<i>k</i>+1</sub>.
</p><p>The <a href="Oberwolfach_problem" title="Oberwolfach problem">Oberwolfach problem</a> concerns the existence of 2-factorizations of complete graphs into <a href="Graph_isomorphism" title="Graph isomorphism">isomorphic</a> subgraphs. It asks for which subgraphs this is possible. This is known when the subgraph is connected (in which case it is a <a href="Hamiltonian_cycle" class="mw-redirect" title="Hamiltonian cycle">Hamiltonian cycle</a> and this special case is the problem of <a href="Hamiltonian_decomposition" title="Hamiltonian decomposition">Hamiltonian decomposition</a>) but the general case remains <a href="Open_problem" title="Open problem">open</a>.
</p>
<div class="mw-heading mw-heading2"><h2 id="References">References</h2></div>
<style data-mw-deduplicate="TemplateStyles:r1239543626">
/* start https://en.wikipedia.org/ */
.mw-parser-output .reflist{margin-bottom:0.5em;list-style-type:decimal}@media screen{.mw-parser-output .reflist{font-size:90%}}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}
/* end https://en.wikipedia.org/ */
</style><div class="reflist">
<div class="mw-references-wrap"><ol class="references">
<li id="cite_note-1"><span class="mw-cite-backlink"><b><a href="#cite_ref-1">^</a></b></span> <span class="reference-text"><a href="#CITEREFHarary1969">Harary (1969)</a>, Theorem 9.2, p. 85. <a href="#CITEREFDiestel2005">Diestel (2005)</a>, Corollary 2.1.3, p. 37.</span>
</li>
<li id="cite_note-2"><span class="mw-cite-backlink"><b><a href="#cite_ref-2">^</a></b></span> <span class="reference-text"><a href="#CITEREFHarary1969">Harary (1969)</a>, Theorem 9.1, p. 85.</span>
</li>
<li id="cite_note-3"><span class="mw-cite-backlink"><b><a href="#cite_ref-3">^</a></b></span> <span class="reference-text"><a href="#CITEREFChetwyndHilton1985">Chetwynd & Hilton (1985)</a>. <a href="#CITEREFNiessen1994">Niessen (1994)</a>. <a href="#CITEREFPerkovicReed1997">Perkovic & Reed (1997)</a>. <a href="#West1FC">West</a>.</span>
</li>
<li id="cite_note-csaba-4"><span class="mw-cite-backlink"><b><a href="#cite_ref-csaba_4-0">^</a></b></span> <span class="reference-text">
<style data-mw-deduplicate="TemplateStyles:r1238218222">
/* start https://en.wikipedia.org/ */
.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("./mw/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("./mw/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("./mw/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("./mw/Wikisource-logo.svg")right 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}
/* end https://en.wikipedia.org/ */
</style><cite id="CITEREFCsabaKühnLoOsthus2016" class="citation cs2">Csaba, Béla; Kühn, Daniela; Lo, Allan; Osthus, Deryk; Treglown, Andrew (June 2016), "Proof of the 1-factorization and Hamilton decomposition conjectures", <i>Memoirs of the American Mathematical Society</i>, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1090%2Fmemo%2F1154">10.1090/memo/1154</a></cite></span>
</li>
<li id="cite_note-wallis-5"><span class="mw-cite-backlink"><b><a href="#cite_ref-wallis_5-0">^</a></b></span> <span class="reference-text">
<cite id="CITEREFWallis1997" class="citation cs2">Wallis, W. D. (1997), "16. Perfect Factorizations", <i>One-factorizations</i>, Mathematics and Its Applications, vol. 390 (1 ed.), <a href="Springer_US" class="mw-redirect" title="Springer US">Springer US</a>, p. 125, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-1-4757-2564-3_16">10.1007/978-1-4757-2564-3_16</a>, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-0-7923-4323-3</bdi></cite></span>
</li>
<li id="cite_note-wanless-6"><span class="mw-cite-backlink"><b><a href="#cite_ref-wanless_6-0">^</a></b></span> <span class="reference-text">
<cite id="CITEREFBryantMaenhautWanless2002" class="citation cs2">Bryant, Darryn; Maenhaut, Barbara M.; Wanless, Ian M. (May 2002), "A Family of Perfect Factorisations of Complete Bipartite Graphs", <i>Journal of Combinatorial Theory</i>, A, <b>98</b> (2): <span class="nowrap">328–</span>342, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://doi.org/10.1006%2Fjcta.2001.3240">10.1006/jcta.2001.3240</a></span>, <a href="ISSN_(identifier)" class="mw-redirect" title="ISSN (identifier)">ISSN</a> <a rel="nofollow" class="external text" href="https://search.worldcat.org/issn/0097-3165">0097-3165</a></cite></span>
</li>
<li id="cite_note-7"><span class="mw-cite-backlink"><b><a href="#cite_ref-7">^</a></b></span> <span class="reference-text"><a href="#CITEREFPetersen1891">Petersen (1891)</a>, §9, p. 200. <a href="#CITEREFHarary1969">Harary (1969)</a>, Theorem 9.9, p. 90. See <a href="#CITEREFDiestel2005">Diestel (2005)</a>, Corollary 2.1.5, p. 39 for a proof.</span>
</li>
<li id="cite_note-8"><span class="mw-cite-backlink"><b><a href="#cite_ref-8">^</a></b></span> <span class="reference-text"><a href="#CITEREFPetersen1891">Petersen (1891)</a>, §6, p. 198.</span>
</li>
</ol></div></div>
<div class="mw-heading mw-heading2"><h2 id="Bibliography">Bibliography</h2></div>
<style data-mw-deduplicate="TemplateStyles:r1239549316">
/* start https://en.wikipedia.org/ */
.mw-parser-output .refbegin{margin-bottom:0.5em}.mw-parser-output .refbegin-hanging-indents>ul{margin-left:0}.mw-parser-output .refbegin-hanging-indents>ul>li{margin-left:0;padding-left:3.2em;text-indent:-3.2em}.mw-parser-output .refbegin-hanging-indents ul,.mw-parser-output .refbegin-hanging-indents ul li{list-style:none}@media(max-width:720px){.mw-parser-output .refbegin-hanging-indents>ul>li{padding-left:1.6em;text-indent:-1.6em}}.mw-parser-output .refbegin-columns{margin-top:0.3em}.mw-parser-output .refbegin-columns ul{margin-top:0}.mw-parser-output .refbegin-columns li{page-break-inside:avoid;break-inside:avoid-column}@media screen{.mw-parser-output .refbegin{font-size:90%}}
/* end https://en.wikipedia.org/ */
</style><div class="refbegin" style="">
<ul><li><cite id="CITEREFBondyMurty1976" class="citation cs2"><a href="John_Adrian_Bondy" title="John Adrian Bondy">Bondy, John Adrian</a>; <a href="U._S._R._Murty" title="U. S. R. Murty">Murty, U. S. R.</a> (1976), <a rel="nofollow" class="external text" href="https://web.archive.org/web/20100413104345/http://www.ecp6.jussieu.fr/pageperso/bondy/books/gtwa/gtwa.html"><i>Graph Theory with Applications</i></a>, North-Holland, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>0-444-19451-7</bdi>, archived from <span class="id-lock-registration" title="Free registration required"><a rel="nofollow" class="external text" href="https://archive.org/details/graphtheorywitha0000bond">the original</a></span> on 2010-04-13<span class="reference-accessdate">, retrieved <span class="nowrap">2019-12-18</span></span></cite>, Section 5.1: "Matchings".</li>
<li><cite id="CITEREFChetwyndHilton1985" class="citation cs2"><a href="Amanda_Chetwynd" title="Amanda Chetwynd">Chetwynd, A. G.</a>; Hilton, A. J. W. (1985), "Regular graphs of high degree are 1-factorizable", <i>Proceedings of the London Mathematical Society</i>, <b>50</b> (2): <span class="nowrap">193–</span>206, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1112%2Fplms%2Fs3-50.2.193">10.1112/plms/s3-50.2.193</a></cite>.</li>
<li><cite id="CITEREFDiestel2005" class="citation cs2"><a href="Reinhard_Diestel" title="Reinhard Diestel">Diestel, Reinhard</a> (2005), <i>Graph Theory</i> (3rd ed.), <a href="Springer_Science%2BBusiness_Media" title="Springer Science+Business Media">Springer</a>, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>3-540-26182-6</bdi></cite>, Chapter 2: "Matching, covering and packing". <a rel="nofollow" class="external text" href="http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/">Electronic edition</a>.</li>
<li><cite id="CITEREFHarary1969" class="citation cs2"><a href="Frank_Harary" title="Frank Harary">Harary, Frank</a> (1969), <i>Graph Theory</i>, Addison-Wesley, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>0-201-02787-9</bdi></cite>, Chapter 9: "Factorization".</li>
<li><cite class="citation cs2"><a rel="nofollow" class="external text" href="https://www.encyclopediaofmath.org/index.php?title=One-factorization">"One-factorization"</a>, <i><a href="Encyclopedia_of_Mathematics" title="Encyclopedia of Mathematics">Encyclopedia of Mathematics</a></i>, <a href="European_Mathematical_Society" title="European Mathematical Society">EMS Press</a>, 2001 [1994]</cite></li>
<li><cite id="CITEREFNiessen1994" class="citation cs2">Niessen, Thomas (1994), "How to find overfull subgraphs in graphs with large maximum degree", <i>Discrete Applied Mathematics</i>, <b>51</b> (<span class="nowrap">1–</span>2): <span class="nowrap">117–</span>125, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1016%2F0166-218X%2894%2990101-5">10.1016/0166-218X(94)90101-5</a></cite>.</li>
<li><cite id="CITEREFPerkovicReed1997" class="citation cs2 cs1-prop-long-vol">Perkovic, L.; <a href="Bruce_Reed_(mathematician)" title="Bruce Reed (mathematician)">Reed, B.</a> (1997), "Edge coloring regular graphs of high degree", <i><a href="Discrete_Mathematics_(journal)" title="Discrete Mathematics (journal)">Discrete Mathematics</a></i>, <span class="nowrap">165–</span>166: <span class="nowrap">567–</span>578, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1016%2FS0012-365X%2896%2900202-6">10.1016/S0012-365X(96)00202-6</a></cite>.</li>
<li><cite id="CITEREFPetersen1891" class="citation cs2"><a href="Julius_Petersen" title="Julius Petersen">Petersen, Julius</a> (1891), <a rel="nofollow" class="external text" href="https://zenodo.org/record/2304433/files/article.pdf">"Die Theorie der regulären graphs"</a> <span class="cs1-format">(PDF)</span>, <i><a href="Acta_Mathematica" title="Acta Mathematica">Acta Mathematica</a></i>, <b>15</b>: <span class="nowrap">193–</span>220, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://doi.org/10.1007%2FBF02392606">10.1007/BF02392606</a></span></cite>.</li>
<li><cite id="West1FC" class="citation web cs1">West, Douglas B. <a rel="nofollow" class="external text" href="http://www.math.uiuc.edu/~west/openp/1fact.html">"1-Factorization Conjecture (1985?)"</a>. <i>Open Problems – Graph Theory and Combinatorics</i><span class="reference-accessdate">. Retrieved <span class="nowrap">2010-01-09</span></span>.</cite></li>
<li><span class="citation mathworld" id="Reference-Mathworld-Graph_Factor"><cite id="CITEREFWeisstein" class="citation web cs1"><a href="Eric_W._Weisstein" title="Eric W. Weisstein">Weisstein, Eric W.</a> <a rel="nofollow" class="external text" href="https://mathworld.wolfram.com/GraphFactor.html">"Graph Factor"</a>. <i><a href="MathWorld" title="MathWorld">MathWorld</a></i>.</cite></span></li>
<li><span class="citation mathworld" id="Reference-Mathworld-k-Factor"><cite id="CITEREFWeisstein" class="citation web cs1"><a href="Eric_W._Weisstein" title="Eric W. Weisstein">Weisstein, Eric W.</a> <a rel="nofollow" class="external text" href="https://mathworld.wolfram.com/k-Factor.html">"k-Factor"</a>. <i><a href="MathWorld" title="MathWorld">MathWorld</a></i>.</cite></span></li>
<li><span class="citation mathworld" id="Reference-Mathworld-k-Factorable_Graph"><cite id="CITEREFWeisstein" class="citation web cs1"><a href="Eric_W._Weisstein" title="Eric W. Weisstein">Weisstein, Eric W.</a> <a rel="nofollow" class="external text" href="https://mathworld.wolfram.com/k-FactorableGraph.html">"k-Factorable Graph"</a>. <i><a href="MathWorld" title="MathWorld">MathWorld</a></i>.</cite></span></li></ul>
</div>
<div class="mw-heading mw-heading2"><h2 id="Further_reading">Further reading</h2></div>
<div class="refbegin" style="">
<ul><li><cite id="CITEREFPlummer2007" class="citation cs2"><a href="Michael_D._Plummer" title="Michael D. Plummer">Plummer, Michael D.</a> (2007), "Graph factors and factorization: 1985–2003: A survey", <i><a href="Discrete_Mathematics_(journal)" title="Discrete Mathematics (journal)">Discrete Mathematics</a></i>, <b>307</b> (<span class="nowrap">7–</span>8): <span class="nowrap">791–</span>821, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1016%2Fj.disc.2005.11.059">10.1016/j.disc.2005.11.059</a></cite>.</li></ul>
</div></div><!--htdig_noindex--><div><div class="zim-footer">
This article is issued from <a class="external text" title="Last edited on 2025-06-19" href="https://en.wikipedia.org/wiki/?title=Graph_factorization&oldid=1296319821">Wikipedia</a>. The text is available under <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en">Creative Commons Attribution-Share Alike 4.0</a> unless otherwise noted. Additional terms may apply for the media files.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
</body></html>